(C++) Check for double-free and use-after-free problems. Traces memory managed by new/delete.